2 402 202 книги
Поиск книг
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist (Foundations of Computing Series)
Andrea Asperti
,
Giuseppe Longo
Категория:
Компьютеры
1.60 Mb
#2
Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003 (Lecture Notes in Computer Science)
Andrea Asperti
,
Bruno Buchberger
,
James Harold Davenport
Категория:
Компьютеры
2.54 Mb
#3
Logica a informatica
Andrea Asperti
,
Agata Ciabattoni
Категория:
Математика
,
Математическая логика
909 Kb
#4
Categories, types, and structures. Introduction to category theory for computer scientists
Andrea Asperti
,
Giuseppe Longo
Категория:
Mathematics
,
Algebra
,
Category theory
2.41 Mb
#5
The optimal implementation of functional programming languages
Andrea Asperti
,
Stefano Guerrini
3.38 Mb
#6
Mathematical Knowledge Management, 2 conf., MKM 2003
Andrea Asperti
,
Bruno Buchberger
,
James Harold Davenport
Категория:
CsLn_
2.02 Mb
#7
Mathematical Knowledge Management, 3 conf., MKM 2004
Andrea Asperti
,
Grzegorz Bancerek
,
Andrzej Trybulec
Категория:
CsLn_
7.54 Mb